Glasgow Haskell Compiler - PDFSEARCH.IO - Document Search Engine

Glasgow Haskell Compiler
Results: 54

#	Item
21	Haskell on a Shared-Memory Multiprocessor Tim Harris Simon Marlow Simon Peyton Jones Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-01-25 10:53:17 Concurrency control Thunk Thread Non-blocking algorithm Glasgow Haskell Compiler Monitor Haskell Evaluation strategy Futures and promises Computing Software engineering Computer programming
22	A Generic Deriving Mechanism for Haskell Jos´e Pedro Magalh˜aes1 Atze Dijkstra1 Johan Jeuring1,2 Add to Reading List Source URL: dreixel.net Language: English - Date: 2014-11-04 15:52:18 Data types Type theory Functional programming Glasgow Haskell Compiler Generic programming Map Tagged union Monad Software engineering Computing Computer programming
23	Safe Haskell David Terei1 Simon Marlow2 1 Stanford University davidt,⊥@scs.stanford.edu Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2012-07-20 10:35:15 Functional languages Functional programming Type theory Data types Haskell Literate programming Glasgow Haskell Compiler Generic programming Monad Software engineering Computing Computer programming
24	CIS 194: Homework 5 Due Wednesday, 25 February, 2015 Preface Setup You will need two packages that are not part of Haskell’s standard Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2015-04-22 09:29:17 Markup languages Ajax Functional languages Functional programming JSON JavaScript Haskell Glasgow Haskell Compiler Main function Computing Software engineering Computer programming
25	The Design and Implementation of a Safe, Lightweight Haskell Compiler Timothy Jan Chevalier Portland State University⋆ Dept. of Computer Science P.O. Box 751 Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 19:52:39 Type theory Data types Functional languages Functional programming Glasgow Haskell Compiler Type system Haskell Type safety C Software engineering Computing Computer programming
26	USENIX Association Proceedings of the FREENIX Track: 2004 USENIX Annual Technical Conference Boston, MA, USA June 27–July 2, 2004 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:39 Subroutines Cross-platform software Programming language implementation Recursion Compiler construction GNU Compiler Collection Treelang Glasgow Haskell Compiler Register transfer language Software engineering Computer programming Computing
27	Statement of Purpose Marie-Christine R. Chevalier I fell in love with programming on the second day of my first computer science class. I remember the moment distinctly. The professor was demonstrating a program to draw Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 17:01:43 Programming paradigms Deforestation Functional programming Programming language Haskell Glasgow Haskell Compiler Imperative programming Type inference Algorithm Software engineering Computing Computer programming
28	DRAFT Type Families and Elaboration Alejandro Serrano Jurriaan Hage Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Computing Programming language theory Type class Generic programming Glasgow Haskell Compiler Type system Kind Type safety Haskell Type theory Software engineering Data types
29	Chapter 1 Low Pain vs No Pain Multi-core Haskells M. KH. Aswad , P. W. Trinder, A. D. Al Zain, G. J. Michaelson 1 , J. Berthold2 Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2010-03-22 11:35:23 Parallel computing Glasgow Haskell Compiler Multi-core processor Haskell Algorithmic skeleton Implicit parallelism Speedup Thread Unified Parallel C Computing Concurrent computing Computer programming
30	Implementing Type-Based Deforestation by Marie-Christine (Kirsten) Chevalier Research Project Submitted to the Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, in partial Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 20:37:57 Functional languages Recursion Subroutines Functional programming Higher-order functions Fold Map Glasgow Haskell Compiler Append Software engineering Computing Computer programming